Upper-bounding Program Execution Time with Extreme Value Theory
نویسندگان
چکیده
In this paper we discuss the limitations of and the precautions to account for when using Extreme Value Theory (EVT) to compute upper bounds to the execution time of programs. We analyse the requirements placed by EVT on the observations to be made of the events of interest, and the conditions that render safe the computations of execution time upper bounds. We also study the requirements that a recent EVT-based timing analysis technique, Measurement-Based Probabilistic Timing Analysis (MBPTA), introduces, besides those imposed by EVT, on the computing system under analysis to increase the trustworthiness of the upper bounds that it computes. 1998 ACM Subject Classification [D2.4] Software Engineering: Software/Program Verification
منابع مشابه
On the Sustainability of the Extreme Value Theory for WCET Estimation
Measurement-based approaches with extreme value worst-case estimations are beginning to be proficiently considered for timing analyses. In this paper, we intend to make more formal extreme value theory applicability to safe worst-case execution time estimations. We outline complexities and challenges behind extreme value theory assumptions and parameter tuning. Including the knowledge requireme...
متن کاملOn Using Extreme Value Theory in Response-Time Analysis of Priority-Driven Periodic Real-Time Systems
In this paper we present work toward using our previously proposed method RapidRT to perform response-time analysis of periodic real-time systems, where the execution time of the adhering tasks is a random variable from a known distribution. In effect, we not only aim at validating the potential of considering the results given by RapidRT as upper bounds on tasks’ worst-case response time estim...
متن کاملStatistical-Based WCET Estimation and Validation
In this paper we present a measurement-based approach that produces both a WCET (Worst Case Execution Time) estimate, and a prediction of the probability that a future execution time will exceed our estimate. Our statistical-based approach uses extreme value theory to build a model of the tail behavior of the measured execution time value. We validate our approach using an industrial data set c...
متن کاملApplying Measurement-Based Probabilistic Timing Analysis to Buffer Resources
The use of complex hardware makes it difficult for current timing analysis techniques to compute trustworthy and tight worst-case execution time (WCET) bounds. Those techniques require detailed knowledge of the internal operation and state of the platform, at both the software and hardware level. Obtaining that information for modern hardware platforms is increasingly difficult. Measurement-Bas...
متن کاملRegression-Based Statistical Bounds on Software Execution Time
This work can serve to analyze schedulability of non-critical systems, in particular those that have soft real-time constraints, where one can rely on ‘conventional’ statistical techniques to obtain a maximal probabilistic execution time (MET) bound. Even for hard real-time systems for certain platforms it is considered eligible to use statistics for WCET estimates, calculated as MET at extreme...
متن کامل